/* Deprecation banner styling */
.deprecation-banner {
    display: block;
    background: #ff6b6b;
    color: white;
    padding: 10px;
    text-align: center;
    font-weight: bold;
    position: sticky;
    top: 0;
    z-index: 1000;
    cursor: pointer;
    text-decoration: none;
    border: none;
    margin: 0;
}

.deprecation-banner:hover {
    background: #ff5252;
    text-decoration: underline;
    color: white;
}

/* Original ML-Agents styling */
.wy-nav-top, .wy-side-nav-search {
    background: #439b47;
}

.md-typeset__scrollwrap {
    margin: 1em -.8rem;
    overflow-x: visible;
    touch-action: auto;
}
